- логика выводов
- inferencial logic
логичный вывод — logical conclusion
Русско-английский большой базовый словарь. 2014.
логика выводов
Look at other dictionaries:
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ЛОГИКА НАУКИ — в спец. смысле дисциплина, применяющая понятия и технич. аппарат совр. формальной логики к анализу систем науч. знания. Термин «Л. н.» часто употребляется также для обозначения законов развития науки (логика науч. развития), правил и… … Философская энциклопедия
“ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ” — “ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ” понятие и термин, введенные И. Кантом в “Критике чистого разума” для обозначения “науки о чистом, происходящем из рассудка и разума, знании, посредством которого предметы мыслятся вполне a priori” и определяющей… … Философская энциклопедия
Логика Бэрроуза-Абади-Нидхэма — (англ. Burrows Abadi Needham logic) или БАН логика (англ. BAN logic) набор правил, используемый для определения и анализа протоколов обмена информацией. В частности, БАН логика помогает своим пользователям, определить является ли… … Википедия
ЛОГИКА ПОР-РОЯЛЯ — ЛОГИКА ПОР РОЯЛЯ книга по дедуктивной логике, вышедшая в Париже в 1662 анонимно под названием “Logique ou l art de penser” (“Логика или искусство мыслить”). До нач. 19 го столетия была самым популярным учебником логики, выдержала более 50… … Философская энциклопедия
«ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ» — – понятие и термин, введенные И.Кантом в «Критике чистого разума» для обозначения «науки о чистом, происходящем из рассудка и разума, знании, посредством которого предметы мыслятся вполне a priori» и определяющей происхождение, объем и… … Философская энциклопедия
логика прикладная — ЛОГИКА ПРИКЛАДНАЯ понятие, объединяющее разработки и способы систематического использования логического аппарата для решения конкретных практических задач. При этом необходимо различать Л. п. и отдельные приложения логики. Для Л. п.… … Энциклопедия эпистемологии и философии науки
Логика — (от logoV разум, слово, мышление) по мнению одних ? наука одоказательстве, по мнению других ? наука о законах и формах мышления.Чтобы познать Сущность Л. и ее задачи, следует обратиться к истории. I. Л. есть продукт греческого ума. Признавать… … Энциклопедия Брокгауза и Ефрона
